

	import org.jcsp.lang.*;


	public class JcspTwo {

		  public static void  main (String argv []) {

		    System.out.println ("");
		    System.out.println ("This version uses *symmetric* channels");
		    System.out.println ();

		    SpuriousLog.start ();

		    final int nPhil = 5;
		    System.out.println (nPhil + " iterations per timing ...\n");

		    One2OneChannelInt a = Channel.one2oneInt ();
		    One2OneChannelInt b = Channel.one2oneInt ();
		    One2OneChannelInt c = Channel.one2oneInt ();
		    One2OneChannelInt d = Channel.one2oneInt ();
		    
		    
		    Phil phil1 = new Phil(1, a.in(),d.out());
		    Phil phil2 = new Phil(2, c.in(),b.out());	

		     
		      new Parallel (
		       new CSProcess[] { phil1,phil2	        		
		       
		        }
		      ).run ();


		    System.out.println ("\n\n\nOnly gets here if all above parallel processes fail ...\n\n\n");

		  }

		}
